Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
checking
2
automatic code generation
1 ?
 21,213,375 websites (safe search)

  1. Statestep

    Enables you to systematically consider millions of possibilities.
    models3
    testing3
    automatic2
    checking2
    requirements2
    embedded systems2
    combinations1
    consistency1
    software tool1
    combinatorial1
    completeness1
    automatic code generation1
    invariants1
    decision tables1
    finite state machines1
    corner cases1
    edge conditions1
    edge cases0
    lightweight formal methods0
    Statestep0
    systematic elicitation0
    test oracle0
    user interface specification0

    statestep.com - 2009-02-07

laboratory2 banking3 bank3 loans4 finance5 simulink1 cash3 testing systems1 java4 mortgages3 inspection3 online banking2 manufacturing3 credit4 testing3 matlab1 laser3 test3 c++3 financial services3 low temperature1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.